Your search returned 4 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 1996 Volume number : 22 Issue: 11

A Framework For Specification Based Testing (Article)
Subject: Specification-Based Lesting , Testing Strategies , Test Data Volume
Author: Phil Stocks      David Carrington     
page:      777 - 793
A Compact Petri Net Representation And Lst Implications For Analysis (Article)
Subject: Software Validation , Reachability Analysis , Program Representations
Author: Matthew B. Dwyer      Lori A. Clarke     
page:      794 - 811
Independent Recovery In Large-Scale Distributed Systems (Article)
Subject: Availability , Transactions , Replication
Author: Peter Triantafillou     
page:      812 - 826
The Cache Assignment Problem And Lts Application To Database Buffer Management (Article)
Subject: Cache , Lru , Database Searches
Author: Hanoch Levy      Ted G. Messinger      Robert J. T. Morris     
page:      827 - 838